Modelling An Automatic Proof Generator For Functional Dependency Rules Using Colored Petri Net
نویسندگان
چکیده
منابع مشابه
Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net
Database administrators need to compute closure of functional dependencies (FDs) for normalization of database systems and enforcing integrity rules. Colored Petri net (CPN) is a powerful formal method for modelling and verification of various systems. In this paper, we modelled Armstrong's axioms for automatic proof generation of a new FD rule from initial FD rules using CPN. For this purpose,...
متن کاملAn Approach Based on Colored Petri net for Analysing and Modelling the Aspects
A software system is built by a number of concerns where a concern is composed by one or several functional requirements or non-functional requirements or both. In the software system development one of the essential principles is separation of concerns. Generally in the software system, separation of concerns is the process of breaking into many modules with meager overlapping each other. On a...
متن کاملAn Automatic Petri-Net Generator for Modeling a Flexible Manufacturing System
Petri-Net is widely used in the field of modeling a flexible manufacturing system (FMS) because of its intrinsic features such as concurrency, uynchronization, conflict, and eventtriggering. But designing a Petri-Net Model for an FMS is extremely tedious and difficult for debugging. Therefore, an automatic Petri-Net generator which can generate a bug-free model for an FMS is rather useful and p...
متن کاملInformation Systems Modelling Using Loopn++, an Object Petri Net Scheme
There have been significant recent developments in high level specification schemes for modelling information systems using formalisms based on petri nets. In particular, the application of object-based design principles have produced high level petri nets which can be used to model large complex systems. This paper discusses a new language and modelling scheme, known as LOOPN++, which fully in...
متن کاملVerification of Session Initiation Protocol Using Timed Colored Petri Net
In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for VoiceoverInternet Protocol (VoIP) communications. SIP is based on a client-server infrastr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal in Foundations of Computer Science & Technology
سال: 2012
ISSN: 1839-7662
DOI: 10.5121/ijfcst.2012.2504